ui|text,
ui|header {
	display: block;
	.user-select(none); /* See notes in DocumentManager.js */	
}
ui|text {
	margin: 0 0 1em 0;
}
ui|header {
	font-weight: bold;
}